tools-xenpaging-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:08 +0000 (11:47 +0200)
committerIan Campbell <ijc@debian.org>
Tue, 9 Feb 2016 16:41:16 +0000 (16:41 +0000)
commit5bd3b39cfd26ce0303b40f8c5594fc2e4cb3b31f
tree366ebcc556f5087070477b13818a5e9383b9635a
parent5708f92631a4aa03eb9c54b3e5248481a4b6110f
tools-xenpaging-prefix.diff

Patch-Name: tools-xenpaging-prefix.diff

Gbp-Pq: Name tools-xenpaging-prefix.diff
tools/xenpaging/Makefile